Special Issue on Selected Extended Papers of CADE-23BJORNER, Nikolaj; SOFRONIC-STOKKERMANS, Viorica.Journal of automated reasoning. 2013, Vol 51, Num 1, issn 0168-7433, 129 p.Serial Issue

Machine-checking the timed interval calculusDAWSON, Jeremy E; GORE, Rajeev.Lecture notes in computer science. 2002, pp 95-106, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

FUZZY LOGIC KNOWLEDGE BASES AND AUTOMATED FUZZY REASONINGBALDWIN JF.1981; APPLIED SYSTEMS AND CYBERNETICS. INTERNATIONAL CONGRESS ON APPLIED SYSTEMS RESEARCH AND CYBERNETICS/1980/ACAPULCO; USA/GBR/FRA; NEW YORK; OXFORD; PARIS: PERGAMON PRESS; DA. 1981; PP. 2859-2865; BIBL. 19 REF.Conference Paper

Automated reasoning about metric and topologyHUSTADT, Ullrich; TISHKOVSKY, Dmitry; WOLTER, Frank et al.Lecture notes in computer science. 2006, pp 490-493, issn 0302-9743, isbn 3-540-39625-X, 1Vol, 4 p.Conference Paper

Comparing instance generation methods for automated reasoningJACOBS, Swen; WALDMANN, Uwe.Lecture notes in computer science. 2005, pp 153-168, issn 0302-9743, isbn 3-540-28931-3, 16 p.Conference Paper

Automated reasoning tools for molecular biologyFAGES, Francois.Lecture notes in computer science. 2004, pp 1-2, issn 0302-9743, isbn 3-540-23166-8, 2 p.Conference Paper

The ICS decision procedures for embedded deductionDE MOURA, Leonardo; OWRE, Sam; RUESS, Harald et al.Lecture notes in computer science. 2004, pp 218-222, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Rationality of division orderings = Rationalité des ordres de divisionCOHEN, D. A; SCOTT, E. A.Information processing letters. 1992, Vol 44, Num 6, pp 307-311, issn 0020-0190Article

Deductive systems' representation and an incompleteness result in the situation calculusSAEZ, Pablo.Lecture notes in computer science. 2005, pp 119-131, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 13 p.Conference Paper

Automated reasoning and exhaustive search: quasigroup existence problemsSLANEY, J; FUJITA, M; STICKEL, M et al.Computers & mathematics with applications (1987). 1995, Vol 29, Num 2, pp 115-132, issn 0898-1221Article

Formalizing undefinedness arising in calculusFARMER, William M.Lecture notes in computer science. 2004, pp 475-489, issn 0302-9743, isbn 3-540-22345-2, 15 p.Conference Paper

The resonance strategyWOS, L.Computers & mathematics with applications (1987). 1995, Vol 29, Num 2, pp 133-178, issn 0898-1221Article

Automated reasoning (Cork, 4-8 July 2004)Basin, David; Rusinowitch, Michael.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22345-2, XII, 491 p, isbn 3-540-22345-2Conference Proceedings

The CADE ATP system competitionSUTCLIFFE, Geoff; SUTTNER, Christian.Lecture notes in computer science. 2004, pp 490-491, issn 0302-9743, isbn 3-540-22345-2, 2 p.Conference Paper

Reasoning about iteration in Gödel's class theoryGIJSBERTUS, Johan; BELINFANTE, Frederik.Lecture notes in computer science. 2003, pp 228-242, issn 0302-9743, isbn 3-540-40559-3, 15 p.Conference Paper

Enabling intelligent organizations : An electronic institutions approach for controlling and executing problem solving methodsROBLES P, Armando; PABLO NORIEGA, B. V; CANTU, Francisco et al.Lecture notes in computer science. 2005, pp 275-286, issn 0302-9743, isbn 3-540-29896-7, 1Vol, 12 p.Conference Paper

The chisholm paradox and the situation calculusDEMOLOMBE, Robert; POZOS-PARRA, Pilar.Lecture notes in computer science. 2005, pp 425-434, issn 0302-9743, isbn 3-540-25878-7, 10 p.Conference Paper

TeMP: A temporal monodic proverHUSTADT, Ullrich; KONEV, Boris; RIAZANOV, Alexandre et al.Lecture notes in computer science. 2004, pp 326-330, issn 0302-9743, isbn 3-540-22345-2, 5 p.Conference Paper

Specification of adleman's restricted model using an automated reasoning system: Verification of Lipton's experimentGRACIANI DIAZ, C; MARTIN MATEOS, F. J; PEREZ JIMENEZ, Mario J et al.Lecture notes in computer science. 2002, pp 126-136, issn 0302-9743, isbn 3-540-44311-8, 11 p.Conference Paper

AI*IA 2001 : advances in artificial intelligence (Bari, 25-28 Septmber 2001)Esposito, Floriana.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42601-9, XII, 396 p, isbn 3-540-42601-9Conference Proceedings

La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant = The Cooperative Oral Communication: Contribution to the Logical Modelisation and the Implementation of a Dialoguing Rational AgentBretier, Philippe; Kayser, D.1995, 206 p.Thesis

A semantic characterization of a useful fragment of the situation calculus with knowledgeLAKEMEYER, Gerhard; LEVESQUE, Hector J.Artificial intelligence (General ed.). 2011, Vol 175, Num 1, pp 142-164, issn 0004-3702, 23 p.Article

VIBRANT : A Brainstorming Agent for Computer Supported Creative Problem SolvingWANG, Hao-Chuan; LI, Tsai-Yen; ROSE, Carolyn P et al.Lecture notes in computer science. 2006, pp 787-789, issn 0302-9743, isbn 3-540-35159-0, 1Vol, 3 p.Conference Paper

Model checking for database theoreticiansVARDI, Moshe Y.Lecture notes in computer science. 2005, pp 1-16, issn 0302-9743, isbn 3-540-24288-0, 16 p.Conference Paper

Stable model theory for extended RDF ontologiesANALYTI, Anastasia; ANTONIOU, Grigoris; VIEGAS DAMASIO, Carlos et al.Lecture notes in computer science. 2005, pp 21-36, issn 0302-9743, isbn 3-540-29754-5, 1Vol, 16 p.Conference Paper